Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
671	Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-11-28 10:50:59 Data types Functional programming Type theory Higher-order functions Control flow Fold Map Generalized algebraic data type Eval Software engineering Computing Computer programming
672	A Blame for All (revised) Amal Ahmed, Northeastern University James T. Perconti, Northeastern University Jeremy G. Siek, Indiana University Philip Wadler, University of Edinburgh Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-08-14 08:06:44 Lambda calculus Computer science Fixed-point combinator Simply typed lambda calculus Typed lambda calculus Polymorphism System F Type system Type safety Theoretical computer science Mathematics Type theory
673	Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:20 Method Object-oriented programming Java programming language Type theory C++ Constructor Multiple inheritance Trait Java syntax Software engineering Computing Computer programming
674	ER-flow Application Description Template Name: TD UNI Type: workflow Application domain: Computational chemistry, quantum chemistry Add to Reading List Source URL: www.erflow.eu Language: English Time-dependent density functional theory Computing Chemistry UNICORE Disk formatting
675	ISSP Standard Background Variables Add to Reading List Source URL: www.gesis.org Language: English - Date: 2015-05-26 04:26:34 Variables Survey methodology Type theory Dependent and independent variables Questionnaire Swiss Centre of Expertise in the Social Sciences Mathematics Statistics Science
676	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:25:45 Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering Programming language theory Computing
677	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
678	Psychology in Russia: State of the Art • 2009 Personality and self-regulation as determinants of rational decision making in a political voting situation Tatiana A. Indina, Add to Reading List Source URL: www.psychologyinrussia.com Language: English - Date: 2012-07-14 13:21:03 Ethology Cognitive science Autonomy Philosophical logic Philosophy of mind Rationality Rational choice theory Personality type Attitude Decision theory Critical thinking Mind
679	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
680	Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:53 Mathematical logic Deduction Proof theory Dependently typed programming Type theory Natural deduction Entailment Symbol Calculus of constructions Logic Theoretical computer science Lambda calculus

UPDATE